Procedural reasoning system - PDFSEARCH.IO - Document Search Engine

Procedural reasoning system
Results: 23

#	Item
11	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
12	The Belief-Desire-Intention Model of Agency Michael Georgeff Barney Pell† Martha Pollack‡ Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2002-02-05 06:15:01 Science Cognitive architecture Belief–desire–intention model Procedural reasoning system Belief–desire–intention software model Michael Georgeff Soar Reasoning system Intelligent agent Artificial intelligence Multi-agent systems Computing
13	Decision-Making in an Embedded Reasoning System Michael P. Georgeff* Australian AI Institute Add to Reading List Source URL: ijcai.org Language: English - Date: 2008-09-30 05:14:15 Cognitive architecture Knowledge representation Procedural reasoning system Belief–desire–intention software model GOAL agent programming language Artificial intelligence Multi-agent systems Computing
14	Agent-Based Software Engineering Michael Wooldridge Mitsubishi Electric Digital Library Group Add to Reading List Source URL: www.dia.fi.upm.es Language: English - Date: 2011-03-18 11:14:13 Science Procedural reasoning system Intelligent agent Agent-based model Norm Reasoning system Belief–desire–intention model Modal logic Actor model Artificial intelligence Multi-agent systems Computing
15	PDF Document Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2006-10-03 12:53:44 Knowledge representation Procedural reasoning system Reasoning system Automated planning and scheduling Robot Mobile robot Procedural knowledge Planner Autonomous robot Artificial intelligence Multi-agent systems Cognitive architecture
16	PDF Document Add to Reading List Source URL: www.inf.ufrgs.br Language: English - Date: 2006-03-15 15:40:16 Computing Procedural reasoning system Belief–desire–intention model Action theory Reasoning system Motivation Agent-based model Belief–desire–intention software model Artificial intelligence Multi-agent systems Science
17	PDF Document Add to Reading List Source URL: www.iesd.dmu.ac.uk Language: English - Date: 2009-08-06 08:51:14 Procedural reasoning system Belief–desire–intention model Australian Artificial Intelligence Institute AgentSpeak Reasoning system Scheduling Real-time computing Belief–desire–intention software model 2APL Artificial intelligence Multi-agent systems Computing
18	PDF Document Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2007-01-23 17:21:24 Science Procedural reasoning system Action selection Belief–desire–intention model JACK Intelligent Agents AgentSpeak Reasoning system Action theory Agent-based model Artificial intelligence Multi-agent systems Computing
19	PDF Document Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:29 Procedural reasoning system Belief–desire–intention model Reasoning system Scheduling AgentSpeak Real-time computing Belief–desire–intention software model 2APL Artificial intelligence Multi-agent systems Computing
20	PDF Document Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2003-05-15 21:35:22 Multi-agent systems Knowledge representation Procedural reasoning system Reasoning system Actor model Artificial intelligence Computing Cognitive architecture

UPDATE